Valk, Rüdiger: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Petri nets and regular languages

Rüdiger Valk, Guy Vidal-Naquet

Journal:

Journal of Computer and System Sciences

Year:

1981

Language:

english

File:

PDF, 1.48 MB

english, 1981

2

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A computer scientist's view of life, the universe, and everything

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 509 KB

english, 1997

3

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Calendars and chronologies

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 550 KB

english, 1997

4

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Informatics and society: A curriculum for distance education

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 597 KB

english, 1997

5

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || On aperiodic sets of Wang tiles

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 469 KB

english, 1997

6

Infinite behaviour of Petri nets

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 3.17 MB

english, 1983

7

The residue of vector sets with applications to decidability problems in Petri nets

Rüdiger Valk, Matthias Jantzen

Journal:

Acta Informatica

Year:

1985

Language:

english

File:

PDF, 1.44 MB

english, 1985

8

Die Informatik zwischen Formal- und Humanwissenschaften

Journal:

Informatik-Spektrum

Year:

1997

Language:

german

File:

PDF, 138 KB

german, 1997

9

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5062 || Synthesis of Petri Nets from Scenarios with VipTool

Hee, Kees M., Valk, Rüdiger

Year:

2008

Language:

english

File:

PDF, 1.11 MB

english, 2008

10

Safe states in Banker-like resource allocation problems

Dirk Hauschildt, Rüdiger Valk

Journal:

Information and Computation

Year:

1987

Language:

english

File:

PDF, 1.39 MB

english, 1987

11

Minimal machines with several initial states are not unique

Journal:

Information and Control

Year:

1976

Language:

english

File:

PDF, 156 KB

english, 1976

12

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5062 || Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

van Hee, Kees M., Valk, Rüdiger

Year:

2008

Language:

english

File:

PDF, 341 KB

english, 2008

13

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Abstract structures in spatial cognition

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 634 KB

english, 1997

14

Discrete and Continuous Realizations of General Time Systems

Journal:

Journal of Cybernetics

Year:

1974

Language:

english

File:

PDF, 571 KB

english, 1974

15

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5062 ||

van Hee, Kees M., Valk, Rüdiger

Year:

2008

Language:

english

File:

PDF, 14.24 MB

english, 2008

16

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5062 || HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets

van Hee, Kees M., Valk, Rüdiger

Year:

2008

Language:

english

File:

PDF, 304 KB

english, 2008

17

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Knowledge discovery in databases — An inductive logic programming approach

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 477 KB

english, 1997

18

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || InfoSphere ℳ -V: a new approach to 3D-visualization of information

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 868 KB

english, 1997

19

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Qualitative vs. Fuzzy representations of spatial distance

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 637 KB

english, 1997

20

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || The asynchronous stack revisited: Rounds set the twilight reeling

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 319 KB

english, 1997

21

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || On abstract families of languages, power series, and elements

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 404 KB

english, 1997

22

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A remark on trace equations

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 524 KB

english, 1997

23

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || How distributed algorithms play the token game

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 544 KB

english, 1997

24

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Are there formal languages complete for SymSPACE(log n)?

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 589 KB

english, 1997

25

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || On twist-closed trios: A new morphic characterization of r.e. sets

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 450 KB

english, 1997

26

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Closure under complementation of logspace complexity classes - A survey -

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 771 KB

english, 1997

27

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || SPOCK: A feasibility study on the completeness of parts lists

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 495 KB

english, 1997

28

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Towards adjusting informatics education to information era

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 1.16 MB

english, 1997

29

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Hardware — Software

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 624 KB

english, 1997

30

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A foundation for computable analysis

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 920 KB

english, 1997

31

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Decision support systems with adaptive reasoning strategies

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 695 KB

english, 1997

32

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A nonlinear markovian characterization of time series using neural networks

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 387 KB

english, 1997

33

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Path planning using a subgoal graph

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 454 KB

english, 1997

34

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || The composition heuristic

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 420 KB

english, 1997

35

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || The job assignment problem: A study in parallel and distributed machine learning

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 617 KB

english, 1997

36

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Automatic detection of thesaurus relations for information retrieval applications

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 425 KB

english, 1997

37

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Self-improving behavior arbitration

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 589 KB

english, 1997

38

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Neural networks for manipulator path planning

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 432 KB

english, 1997

39

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Defining discipline

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 976 KB

english, 1997

40

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Spatial and temporal structures in cognitive processes

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 581 KB

english, 1997

41

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Syntactic and semantic aspects of parallelism

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

42

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Computer science as cultural development

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 709 KB

english, 1997

43

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Contribution to Goodenough's and Gerhart's theory of software testing and verification: Relation between strong compiler test and compiler implementation verification

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 763 KB

english, 1997

44

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || On the arrangement complexity of uniform trees

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 585 KB

english, 1997

45

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A uniform approach to Petri Nets

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 789 KB

english, 1997

46

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Discrete time analysis of a state dependent tandem with different customer types

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 487 KB

english, 1997

47

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Unique fixpoints in complete lattices with applications to formal languages and semantics

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 364 KB

english, 1997

48

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || An automata approach to some problems on context-free grammars

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 443 KB

english, 1997

49

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Feature-based perception of semantic concepts

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 535 KB

english, 1997

50

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || A relational-functional integration for declarative programming

Freksa, Christian, Jantzen, Matthias, Valk, Rüdiger

Year:

1997

Language:

english

File:

PDF, 384 KB

english, 1997